Groupoid Pure Versions Save

🧊 Чиста система з всесвітами

1.11

6 years ago
  • More Robust

1.10

6 years ago
  • New Cache and Faster Typechecker
  • Posets
  • Setoids

0.3

8 years ago
  • Single File Executable
  • Demo
  • Modes: erased, girard, hurkens, normal, setoids