lxndrcx/

proofTheoryHOL

Equivalence of natural deduction and sequent calculus in HOL4

Owners:

$0.00

USD raised

Recent activities

Issues

Funded Unfunded Rewarded Closed

Fund an Issue

There are no funded issues yet!

Find issues to fund

Recent activities

Company

Community

Support

FAQ Terms of use Privacy policy Code of conduct Credits

Connect

Facebook Twitter

© 2019 BoostIO, Inc.