Finite math system, verified in Coq – for theory nerds and alt. IT ppl

3 points | by kwojno 13 hours ago

1 comments