Malo Lean4 eksperimentiranja. Tale repo je bolj za backup kot kakšno koristno stvar.
katjabercic / lean-tests Goto Github PK
View Code? Open in Web Editor NEWThis project forked from grekiki2/lean-tests
Doing some basic experimentation with how Lean4 works.