Second Proposal for Reward Bounties

by , Tuesday, October 27, 2020, 13:05 (404 days ago) @ Brown

[barakeel] If you encounter any issues translating HOL4 problems to Proofgold, i think the mizar problems will be enough.


Complete thread:

 RSS Feed of thread

powered by my little forum