Toggle navigation
E
ncyclo
R
eader
Preferences
About
Help
Categories
Dependently typed programming
Domain-specific programming languages
Theorem proving software systems
Proof assistants
Topic: Category
From
Wikipedia
- Reading time: 1 min
The main article for this
category
is
Proof assistant
.
Licensed under CC BY-SA 3.0 | Source:
https://en.wikipedia.org/wiki/Category:Proof_assistants
11 views | ↧
Download as ZWI file