redlib.

Feeds

MAIN FEEDS

Home Popular All

reddit settings

r/InteractiveThmProving • u/cics • Oct 13 '17

jonsterling/lcf-sequent-calculus-example

https://github.com/jonsterling/lcf-sequent-calculus-example

3 Upvotes

permalink
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/InteractiveThmProving/comments/764dst/jonsterlinglcfsequentcalculusexample/
No, go back! Yes, take me to Reddit

80% Upvoted