Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
LeanTestV4130		LeanTestV4130
.gitignore		.gitignore
Header.lean		Header.lean
LeanTestV4130.lean		LeanTestV4130.lean
Main.lean		Main.lean
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Repository files navigation

Test Environment for Lean4

Description

For the handling of proof generation at v4.13.0 toolchain.

Utility

Mathlib4
Jixia
REPL

About

No description, website, or topics provided.

Custom properties

Report repository

Releases

No releases published

Packages

Contributors

Languages

Lean 100.0%