proof-strategies

There are 0 repository under proof-strategies topic.

data61 / PSL
proof psl isabelle proof-strategies conjecture hol machine-learning artificial-intelligence itp interactive-theorem-proving domain-specific-language induction proof-assistant formal-proofs formal-verification formal-methods proof-search
Language:Isabelle 65

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.