/theorem_proving_in_lean4

Theorem Proving in Lean 4

Primary LanguageJavaScriptApache License 2.0Apache-2.0

Watchers