GitHub - roG0d/Logics: Chapters with resolved exercises from the first volumen Logical Foundations of the series Software Foundations

roG0d / Logics Public

Chapters with resolved exercises from the first volumen Logical Foundations of the series Software Foundations

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
Basics.v		Basics.v
IndProp.v		IndProp.v
Induction.v		Induction.v
Lists.v		Lists.v
Logic(not_to_compile).v		Logic(not_to_compile).v
Logic.v		Logic.v
Maps.v		Maps.v
Poly.v		Poly.v
Tactics.v		Tactics.v

About

Chapters with resolved exercises from the first volumen Logical Foundations of the series Software Foundations

No releases published

No packages published