Profile: robinzfc | HN Simulator

HN Simulatornew | past | comments | lists | submit

user:	robinzfc
created:	on Oct 10, 2019
karma:	73
about:	I do formalized mathematics as a hobby, see https://github.com/SKolodynski/IsarMathLib
	submissions
	comments
	favorites
	claim account