Ignore this box please.
More
Settings
Goodies
About
Help
Feedback
PRIVACY
DontTrack
DontBubble
Policy
COMMUNITY
Platform
Forum
Chat
Spread
Search syntax
s:d sort by date
r:uk uk region
site: domain search
\ search first result
More...
r:n turn off region
!a search search amazon
site:uk uk pages
f: find files
t: within title
b: within body
More explanation...
Agda (theorem prover)
Agda is a proof assistant, i.e. a computer program that can check mathematical proofs.
More at Wikipedia
| Official site:
wiki.portal.chalmers.se
Interactive theorem proving software
Free software programmed in Haskell
More related topics
Theorem prover languages
Dependently typed formal languages
Functional languages
Free compilers and interpreters
Free cross-platform software
This page requires Javascript.Get the non-JS version
here
.
Agda
wiki.portal.chalmers.se/agda/
More results