Discussion about getting rid of random reward bounties

by BlakeKeiller, Saturday, September 26, 2020, 15:14 (435 days ago) @

As you suggest, it's already possible to use definitions and lemmas to compress proofs. It's just that it's up to the author to do it. Hopefully someone will make automated tools to help do this.

Complete thread:

 RSS Feed of thread

powered by my little forum