Loreon
Labs
Platform
Docs
Home
Ecosystems
Rocq Prover
reservebal
aa755/reservebal
Rocq Prover
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
7mo ago
Recent commits
Latest commits.
fixed codex-cli's fixes
b5b6cec
Abhishek anand (MBP)
7mo ago
codex-cli proof reading
2399f23
Abhishek anand (MBP)
7mo ago
fixed compile error, added links to prev version. tricky to figure out the escaping of # in url
e0a4000
Abhishek anand (MBP)
7mo ago
more comments on differences. trying to get old version hyperlinks working
ee63a7b
Abhishek anand (MBP)
7mo ago
documented the changes
4f8e0c4
Abhishek anand (MBP)
7mo ago
keeping old version
da873f0
Abhishek anand (MBP)
7mo ago
finished all proofs of the combo design
94085ee
Abhishek anand (MBP)
7mo ago
trying the combo isEmptying design: super complex. the simple approach
392f42b
Abhishek anand (MBP)
7mo ago
Top contributors
Builders behind this project.
aa755
212 commits