| ▲ | 12uq7 4 hours ago | |
Why would anyone want to work with such a dystopian setup? Prove your code directly in Lean or Coq or leave it. | ||
| ▲ | developedby 3 hours ago | parent [-] | |
Most of that is just the test suite. The actual code is about 10k lines | ||