GitHub - grekiki2/Lean-tests: Doing some basic experimentation with how Lean4 works.

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
Graph		Graph
Gt		Gt
Lt		Lt
.gitignore		.gitignore
Graph.lean		Graph.lean
Gt.lean		Gt.lean
Lt.lean		Lt.lean
Main.lean		Main.lean
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain
run.sh		run.sh

Repository files navigation

Malo Lean4 eksperimentiranja. Tale repo je bolj za backup kot kakšno koristno stvar.

About

Doing some basic experimentation with how Lean4 works.

Report repository

Releases

No releases published

Packages

No packages published

Languages