thomas-sturm

Pinned Repositories

• logic1

  Interpreted first-order logic in Python

  Language:Python2202

• sage

  Main repository of SageMath

  Language:Python1.7k1035.9k567

thomas-sturm's Repositories