GitHub / a2435191 / lean-logic-formalization
Formalize "Logic Notes" by Lou van den Dries in Lean
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/a2435191%2Flean-logic-formalization
Stars: 11
Forks: 0
Open issues: 0
License: mit
Language: Lean
Size: 32.2 KB
Dependencies parsed at: Pending
Created at: 15 days ago
Updated at: 8 days ago
Pushed at: 8 days ago
Last synced at: 8 days ago
Topics: formalization, lean4, logic, mathematical-logic, mathematics, textbook
Loading...