Proof that Z-set and additive merge form an abelian group · GitHub
Proof that Z-set and additive merge form an abelian group - zset_abelian.lean| Gist
Proof that Z-set and additive merge form an abelian group - zset_abelian.lean| Gist
When I started thinking about the problems with coding education in 2019, “tutorial hell” was enemy number one. You’d know you were living in it if you:| Boot.dev Blog
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.| Lean Language
