2 results found Sort:

jaalonso
Lecturas_GLC jaalonso
8
74
gpl-3.0
12
Readings on computational logic, interactive theorem proving and functional programming.
coq itp logic prolog haskell leanprover isabelle-hol logic-programming functional-programming
Created 2016-12-31
1,609 commits to master branch, last one 5 hours ago
data61
PSL data61
9
65
other
9
This repository has no description...
hol itp psl proof isabelle induction conjecture proof-search formal-proofs formal-methods proof-assistant machine-learning proof-strategies formal-verification artificial-intelligence domain-specific-language interactive-theorem-proving
Created 2016-08-10
1,559 commits to master branch, last one about a month ago