2 results found Sort:

data61
PSL data61
9
63
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,544 commits to master branch, last one 4 days ago
jaalonso
Lecturas_GLC jaalonso
8
62
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,466 commits to master branch, last one a day ago