language = lean

Other language values: python (81), javascript (80), shell (76), html (66), css (58), typescript (43), rust (38), c (27), makefile (20), dockerfile (19), cpp (17), powershell (16), swift (16), batchfile (15), go (15)

1. 1
   ▲0▼0 crowd
   
   nanobruijn (github.com/nomeata)

   Experimental Lean 4 type checker using pure de Bruijn indices

   Rust · ★ 4 · paperwork by the Cap'mmostly ai (inferred)light human (inferred)works-on-my-machine (inferred)other

   listed 3 hours ago by nomeata · 0 comments · details · report
2. 2
   ▲0▼0 crowd
   
   aks (github.com/girving)

   Seiferas's simplified construction of the AKS O(log n) depth sorting network, formalised in Lean

   Lean · ★ 6 · paperwork by the Cap'mmostly ai (inferred)light human (inferred)works-on-my-machine (inferred)other

   listed 4 hours ago by girving · 0 comments · details · report