GitHub - NickBurrell/Software-Foundations: Solution set to the Software Foundations Series, Vol. 1: Logical Foundations

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
.obsidian		.obsidian
AltAuto		AltAuto
Auto		Auto
Basics		Basics
Extraction		Extraction
Imp		Imp
ImpCEvalFun		ImpCEvalFun
ImpParser		ImpParser
IndPrinciples		IndPrinciples
IndProp		IndProp
Induction		Induction
Lists		Lists
Logic		Logic
Maps		Maps
Poly		Poly
ProofObjects		ProofObjects
Rel		Rel
Tactics		Tactics
.gitignore		.gitignore
Makefile		Makefile
_CoqProject		_CoqProject
deps.svg		deps.svg