Popular repositories

1. 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.

   Lean 7

2. 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

   C 6 3

3. matholymp-py

   Mirror of git://git.ukmt.org.uk/git/matholymp-py.git - Python software for creating and maintaining websites for mathematical olympiads, with online registration and support for various associated …

   Python

4. medal-boundaries

   Mirror of git://git.ukmt.org.uk/git/medal-boundaries.git - Algorithms for mathematical olympiad medal boundaries

   Python

5. tms-meetings

   List of Trinity Mathematical Society meetings, originally created by Paul Taylor

   Python

6. mathlib

   Forked from leanprover-community/mathlib

   Lean mathematical components library

   Lean