prescientmoon/solar-conflux
1
Fork 0
Code Activity
solar-conflux/lean/learning
History
Matei Adriel 7c0fbb5f4a Make file-structures more readable
2023-10-29 01:15:32 +02:00
..
Learning Document lean experiments 2023-10-29 00:07:15 +02:00
.gitignore Move stuff around + add lean and idris experiments 2023-10-29 00:02:10 +02:00
lakefile.lean Document lean experiments 2023-10-29 00:07:15 +02:00
Learning.lean Document lean experiments 2023-10-29 00:07:15 +02:00
Main.lean Document lean experiments 2023-10-29 00:07:15 +02:00
README.md Make file-structures more readable 2023-10-29 01:15:32 +02:00

README.md

Lean learning

This directory contains the results of my first adventure into the world of Lean 4.

File structure

File Description
Noob.lean Syntax practice
Nat.lean Natural numbers
Integers.lean Integers as quotient types over differences of naturals