Alexander Cox (@lxndrcx)'s Repositories - IssueHunt

lxndrcx/proofTheoryHOL

Equivalence of natural deduction and sequent calculus in HOL4

Standard ML$0.00

Company

Community

Support

FAQ Terms of use Privacy policy Code of conduct Credits

Connect

Facebook Twitter

© 2019 BoostIO, Inc.