Second Proposal for Reward Bounties
[barakeel] If you encounter any issues translating HOL4 problems to Proofgold, i think the mizar problems will be enough.
Complete thread:
- Second Proposal for Reward Bounties -
Brown,
2020-10-27, 08:40
![[*]](themes/default/images/complete_thread.png "Open whole thread")
- Second Proposal for Reward Bounties - , 2020-10-27, 12:44
- Second Proposal for Reward Bounties -
,
2020-10-27, 12:53
- Second Proposal for Reward Bounties -
Brown,
2020-10-27, 13:08
- Second Proposal for Reward Bounties - , 2020-10-27, 15:58
- Second Proposal for Reward Bounties -
,
2020-10-27, 16:02
- Second Proposal for Reward Bounties - Brown, 2020-10-28, 15:01
- Second Proposal for Reward Bounties -
Brown,
2020-10-27, 13:08
- Second Proposal for Reward Bounties - Brown, 2020-10-27, 12:58
- Second Proposal for Reward Bounties -
,
2020-10-27, 13:05
- Second Proposal for Reward Bounties - Brown, 2020-10-27, 13:20
- Second Proposal for Reward Bounties - Brown, 2020-12-16, 15:58