Formal
We're building computing for serverless.
- 3 followers
- United States of America
- https://formalstack.com/
Popular repositories Loading
-
ott
ott PublicForked from ott-lang/ott
The Ott tool for writing definitions of programming languages and calculi
OCaml
-
coqhammer
coqhammer PublicForked from lukaszcz/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
OCaml
Repositories
Showing 2 of 2 repositories
- ott Public Forked from ott-lang/ott
The Ott tool for writing definitions of programming languages and calculi
formalstack/ott’s past year of commit activity - coqhammer Public Forked from lukaszcz/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
formalstack/coqhammer’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…