seqmod icon indicating copy to clipboard operation
seqmod copied to clipboard

Published 20 hours ago • verified publisher icon elpinal
→

Metadata

Full implementation of F-ing Modules, with the power of sequent calculus

Results 0 seqmod issues
Sort by recently updated
recently updated
newest added

← Metadata

20
Stars
0
Forks
Watchers

Owner

verified publisher icon elpinal

Metadata

Full implementation of F-ing Modules, with the power of sequent calculus

Back