SorryDB

Popular repositories Loading

1. SorryDB SorryDB Public

   SorryDB indexes sorries in public lean repositories

   Python 55 8

2. sorrydb-data sorrydb-data Public

   SorryDB data

   7 2

3. LeanUtils LeanUtils Public

   Lean scripts for indexing sorries and verifying proofs

   Lean 4

4. leaderboard-frontend leaderboard-frontend Public

   Frontend website for the SorryDB leaderboard

   HTML 1 1

5. sorrydb-data-test sorrydb-data-test Public

   Data for SorryDB test environment

   Shell

6. sorrydb-data-dev sorrydb-data-dev Public

   Data for SorryDB test environment with only mock data

   Python