Porting of software foundations to Agda
Stars
0
Forks
Watchers
Open Issues
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
19
commits
4
Update Poly.lagda
a6cf79d
Update Lists.lagda
1827928
Update InductionProofs.lagda
6a1bea5
Update Basics.lagda
9fc022d
More updates on Software foundations chapters
db41971
Defining ordering relations on natural numbers
983ecb4
More code on SfLib chapter
f2c9701
Starting chapter on Software Foundations Library
9eec2e1
Finished chapter on logic
b2c6ab4
Small fixes on typesetting and put links on index
15252ce
More updates in Logic chapter
9a1d3f6
More updates on Logic chapter
27f979d
Starting chapter about logic
d3830cb
Finished chapter about propositions.
c112a50
Finished Chapter about Polymorphism
2546328