Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: proof-strategies

data61/PSL

Language: Isabelle - Size: 175 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 68 - Forks: 9

Related Keywords
artificial-intelligence 1 conjecture 1 domain-specific-language 1 formal-methods 1 formal-proofs 1 formal-verification 1 hol 1 induction 1 interactive-theorem-proving 1 isabelle 1 itp 1 machine-learning 1 proof 1 proof-assistant 1 proof-search 1 proof-strategies 1 psl 1