Kezdőlap Felfedezés Súgó
Bejelentkezés
WojciechKarpiel
/
wygryw
Figyelés 1
Kedvenc 0
Másolás 0
Fájlok Problémák 0 Beolvasztási kérések 0 Wiki
Branch: master
Branch-ok Tag-ek
wygryw
/
lean-toolchain

lean-toolchain 28 B
Állandó hivatkozás Előzmények Nyers

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

  2.