1 search result for "author:"Jelle Wemmenhove""
Showing 1 - 1
-
Coq proofs in a style that resembles non-mechanized mathematical proofs2.1.1+8.18LGPL-3.0-or-laterUsed by 0 other packages10 Jan 2024