Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for agda proof assistant
agda
x
proof-assistant
x
5 search results found
Agda
⭐
2,281
Agda is a dependently typed programming language / interactive theorem prover.
Plfa.github.io
⭐
1,285
An introduction to programming language theory in Agda
Owo
⭐
61
Placeholder for the OwO compiler
Mlang
⭐
60
Towards changing things and see if it proofs
Autoinagda
⭐
37
Proof automation – for Agda, in Agda.
Related Searches
Types Agda (76)
Haskell Agda (71)
Agda Type Theory (43)
Coq Proof Assistant (30)
Emacs Agda (29)
Calculus Agda (29)
Agda Dependent Types (27)
Coq Agda (27)
Programming Agda (24)
Paper Agda (24)
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.