Skip to content

crabbo-rave/leandiscord-weekly

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

65 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

How to participate

There will be folders named Week-1, Week-2 etc. To add your solution just submit a PR with you code to the corresponding week's folder. Please name your file like this: preferredname-4.lean if you are using Lean 4 or preferredname-3.lean if you are using Lean 3.

Using Lean 4's FFI is forbidden. (Worried people will use C for code optimization) Good Luck!

About

Weekly challenges for the Lean Discord Server.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages