1 search result for "author:"Pim Otte""
Showing 1 - 1
-
Coq proofs in a style that resembles non-mechanized mathematical proofs2.2.0+8.17LGPL-3.0-or-laterUsed by 0 other packages04 Nov 2024