clarus
Follow
🐻
☾λ
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
-
Formal Land
- Paris
- https://formal.land/
- @guillaumeclaret
- in/guillaume-claret-76785918
Highlights
- Pro
Block or Report
Block or report clarus
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseSort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.