Startseite Erkunden Hilfe
Anmelden
WojciechKarpiel
/
wygryw
Beobachten 1
Favorit hinzufügen 0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Struktur: be9be5346c
Branches Tags
wygryw
/
lean-toolchain

lean-toolchain 28 B
Verlauf Originalformat

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

  2.