K vs. Coq as Language Verification Frameworks (2019)runtimeverification.com2 points·kachnuv_ocasek··0 commentsOpen articleSaveView on HN