lxndrcx/

proofTheoryHOL

Equivalence of natural deduction and sequent calculus in HOL4

Owners:

$0.00

USD raised

Recent activities

Issues

Funded Unfunded Rewarded Closed

Recent activities

Company

Community

Support

FAQ Terms of use Privacy policy Code of conduct Credits

Connect

Facebook Twitter

© 2019 BoostIO, Inc.