Popular repositories Loading

1. 12puzzle 12puzzle Public

   This project contains a complete proof of the isomorphism of the symmetry group of the 12-puzzle and the full symmetric group S_12.

   TeX 9 1

2. threecyclegen threecyclegen Public

   Fix three positive integers n, k, m Prove that a group subgroup H of S_{6+(n+k+m)} generated by g1:=G!(1,6,4,3,a_1,...a_n); g2:=G!(1,2,4,5,b_1,...,b_k); g3:=G!(5,6,2,3,c_1,...,c_m); H:=sub<G|[g1,g2…

   Lean 3

3. fineqs fineqs Public

   Lean4 formalization with Artistotle of the arXiv paper 1906.11174

   Lean 2

4. lmfdb lmfdb Public

   Forked from LMFDB/lmfdb

   L-Functions and Modular Forms Database

   Python

5. Mod-l-modular-forms Mod-l-modular-forms Public

   Forked from sanni85/Mod-l-modular-forms

   M

6. lftcm2020 lftcm2020 Public

   Forked from leanprover-community/lftcm2020

   Lean for the Curious Mathematician 2020

   Lean