FMCn Lean
Práticas de definições recursivas e demonstrações indutivas usando lean 4.
Como jogar
- Prepare o seu ambiente (usando o VS Code ou na web mesmo).
- Clone o repositório (os arquivos que você quer estão no dir
FMCn Lean). - Tente trocar todos os
sorrypor coisas que façam sentido.
Demonstrando no Lean
Dê uma olhada no FAQ relevante e na documentação