AGH IET Computer science: Logic Lab
1 task: SML implementation of basic algorithms
2 task: Cpp/Python implementation of Church numerals and required operations
3 task: Proves of expressions in Coq
gryfit / logic Goto Github PK
View Code? Open in Web Editor NEWAGH IET Computer science: Logic Lab