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. 00 crowd
   
   nomeata · listed 10 hours ago

   nanobruijn

   github.com/nomeata/nanobruijn

   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
   0 comments report
2. 00 crowd
   
   girving · listed 11 hours ago

   aks

   github.com/girving/aks

   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
   0 comments report