i2 — a language for verification

View the language page here.

Running i2

git clone https://git.sr.ht/~lbnz/i2
cd i2 && make
./bin/i2 examples/landau/addition-induction.i2

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
assets/syntax		assets/syntax
cmd		cmd
examples		examples
internal		internal
third_party/goyacc		third_party/goyacc
.editorconfig		.editorconfig
.gitignore		.gitignore
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
go.mod		go.mod
go.sum		go.sum
main.go		main.go