Verifying local definitions in Coqjoachim-breitner.de1 point·sctb··0 commentsOpen articleSaveView on HN