verse-lab

verse-lab

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
99 Stars
12 Forks
5 Watchers

Repositories (2)

ego verse-lab/ego OCaml

EGraphs in OCaml

83
sisyphus verse-lab/sisyphus OCaml

Mostly Automated Proof Repair for Verified Libraries

16