federicomor / rand-thm

Random picker of a theorem from a set of theorems.

Geek Repo

Github PK Tool