The Nest
Explore
0
A linear logic suite for all your needs
Add raw sequents, including printing
Created by  flgrubm  on January 3, 2026
YJJS6RUM3KE2RTA5UBX2JXXRDA7T226MS2C3QMOHEAXLS2TAD2FQC
Add sequent parser
Created by  flgrubm  on January 3, 2026
ULA55AHINIZ4OTSTAGONIR7OFUBC3EJANWX3XSXPPCU5CNSECQCQC
Add terms
Created by  flgrubm  on January 2, 2026
WI3Y7EOWRPQMET4MPBJSO6TIDZLV5BO3NQ4UX7ZDZMQ5QUXJOLVAC
Run `nix fmt`
Created by  flgrubm  on January 1, 2026
I2MJ7Z2QCDISHHDSHEJLCKLI7RAKW7JED6YBID6DUE54MBOE3IKAC
Initial patch
Created by  flgrubm  on January 1, 2026
OQYXGTUWQDFLQXNL5QTUJ6T4Q7ZG7GG45WMEHCMUI3MPZ4ERI2NQC
(no change message)
Created by   on January 1, 2026
RPAWARBKQZV56KABM5XHNHTXGN3VMOEOOZAZE6UEB6TBNIOA2HXAC