theorem proving support system #geometry internship history 自分語り
Tout plus