Skip to content


  • Arctic Code Vault Contributor


  1. Erigone Model Checker

    Ada 7 1

  2. Automatically exported from

    Prolog 4 1

  3. Learning materials for secondary school mathematics

    TeX 1

  4. LaTeX source for "Surprising Geometric Constructions"

    TeX 1

  5. Automatically exported from

    Java 2

61 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

December 2020

motib has no activity yet for this period.

November 2020

Created 6 commits in 1 repository

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.