Kezdőlap Felfedezés Súgó
Bejelentkezés
caryoscelus
/
chunks-of-agda
Figyelés 1
Kedvenc 0
Másolás 0
Fájlok Problémák 0 Beolvasztási kérések 0 Wiki
Branch: main
Branch-ok Tag-ek
chunks-of-agda
/
README.md

README.md 52 B
Állandó hivatkozás Előzmények Nyers

chunks-of-agda

random agda code/proofs playground