Home Esplora Aiuto
Accedi
WojciechKarpiel
/
wygryw
Segui 1
Vota 0
Forka 0
File Problemi 0 Pull Requests 0 Wiki
Ramo (Branch): master
Rami (Branch) Tag
wygryw
/
lean-toolchain

lean-toolchain 28 B
Permalink Cronologia Originale

12 
  1. leanprover/lean4:v4.5.0-rc1
    2. 

  2.