Skip to content

cybers1t/koans.lean

BranchesTags

Repository files navigation

Koans

About

Lean4 Zen Koans. Each file implements an algorithm. Several files may come together to form a programming language.

Topics

algorithms proofs koan lean4

Resources

Readme

License

Apache-2.0 license
Activity

Stars

0 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

 
 
 

Contributors

Languages