epfl-systemf

epfl-systemf

🏢 Organization

1 repository on SrcLog

View on GitHub
1 Repos
20 Stars
1 Forks
1 Watchers

Repositories (1)

camltac epfl-systemf/camltac OCaml

OCaml as a Tactic Language for the Rocq Prover

20