A Mathematical Proof Assitant This is an assisted Theorem Prover based on https://arxiv.org/abs/1706.08905. Example Here is an example proving that for all $e$ there exists a $n$ such that $e\neq n$.