verse-lab

verse-lab

🏢 Organization

2 repositories on SrcLog

View on GitHub
2 Repos
93 Stars
9 Forks
93 Watchers

Repositories (2)

ego verse-lab/ego OCaml

EGraphs in OCaml

80
sisyphus verse-lab/sisyphus OCaml

Mostly Automated Proof Repair for Verified Libraries

13