Giters

madvorak / lean4-cheatsheet

Printable (A4) overview of tactics in Lean 4 for beginners

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Printable (A4) overview of tactics in Lean 4 for beginners

License:The Unlicense

Languages

Language:TeX 100.0%