GitHub - denjiry/jalean: PoC: formal semantics for japanese on Lean · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
.gitignore		.gitignore
Jalean.lean		Jalean.lean
Main.lean		Main.lean
Memo.lean		Memo.lean
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean

About

PoC: formal semantics for japanese on Lean

Report repository

Releases

No releases published

Packages

Contributors

Languages

Lean 100.0%