Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
Hangman		Hangman
.gitignore		.gitignore
Hangman.lean		Hangman.lean
Main.lean		Main.lean
README.md		README.md
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain
sentences.lean		sentences.lean
sentences.txt		sentences.txt

Repository files navigation

lean4-Hangman

A project to help get some experience with IO in lean 4.

About

UNFINISHED

Report repository

Releases

No releases published

Packages

No packages published

Languages

Lean 100.0%