The Nest
Explore
Sign in
flgrubm
linlog
0
A linear logic suite for all your needs
Code
Changes
Tags
Discussions
main
flgrubm
Add raw sequents, including printing
on January 3, 2026
cli
Initial patch
on January 1, 2026
core
Add raw sequents, including printing
on January 3, 2026
.envrc
Initial patch
on January 1, 2026
.ignore
Initial patch
on January 1, 2026
Cargo.lock
Add sequent parser
on January 3, 2026
Cargo.toml
Run `nix fmt`
on January 1, 2026
LICENSE
Initial patch
on January 1, 2026
README.md
Initial patch
on January 1, 2026
flake.lock
Initial patch
on January 1, 2026
flake.nix
Initial patch
on January 1, 2026
zellij.kdl
Initial patch
on January 1, 2026
README.md
linlog
A linear logic suite for all your needs.