Name		Name	Last commit message	Last commit date
Base		Base
Nehemiah		Nehemiah
New		New
Parametric		Parametric
Postulate		Postulate
Structure/Bag		Structure/Bag
Theorem		Theorem
Thesis		Thesis
.gitignore		.gitignore
.travis.yml		.travis.yml
EverythingHeader.agda.inc		EverythingHeader.agda.inc
GenerateEverythingIlc.hs		GenerateEverythingIlc.hs
HACKING.md		HACKING.md
LICENSE.txt		LICENSE.txt
PLDI14-List-of-Theorems.agda		PLDI14-List-of-Theorems.agda
README.agda		README.agda
README.md		README.md
UNDEFINED.agda		UNDEFINED.agda
agdaCheck.sh		agdaCheck.sh
agdaConfParse.sh.inc		agdaConfParse.sh.inc
agdaGraph.sh		agdaGraph.sh
agdaRegen.sh		agdaRegen.sh
ilc.cabal		ilc.cabal
modules.pdf		modules.pdf
stack.yaml		stack.yaml

Repository files navigation

ilc-agda

Machine-checked formalization for the ILC project

Instructions are in README.agda.

About

Machine-checked Agda formalization for the ILC project

inc-lc.github.io/

Custom properties

15 stars

4 watching

Report repository

Releases

Packages

Contributors

Languages