This is your work, valued

Joseph Myers

Advanced
@jsm28

AperiodicMonotilesLean. Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)

16

bsd-games. Inactive - GNU/Linux port of the NetBSD games collection - see https://www.polyomino.org.uk/computer/software/bsd-games/ for more information and links to newer versions

16

IMOLean. Suggested conventions and examples for Lean formalization of IMO problem statements

15

bmo2-2020-lean. Beginner experiments in formalisation of solutions to mathematical olympiad problems, using problems from the second round of the British Mathematical Olympiad 2019/20.

10

IMOShortlist2024Lean. IMO Shortlist 2024 problem statements and some solutions in Lean

1

mathlib. Lean mathematical components library

1

prelink. Mirror of the Yocto Project prelink-cross project

1