Geeks
monoid-gmbh
/
actus-fv-agda
AGDA formal verification experiments.
Primary Language
Agda
Apache License 2.0
Apache-2.0
actus-fv-agda GitHub
Markdown
Readme
0
Issues
0
Stargazers
0
Watchers
actus-fv-poc-agda
AGDA formal verification experiments.