Link che dovrò spulciare prima o poi

Lean

Magma

SageMath

CoCalc

Coogle

Functional Programming - Type Theory