b97a198411af5c8aa4799492b36c62a20ea21f8a
Description
Makes proofs
Languages
Python
90.7%
Shell
9.3%