153 followers
The Gallina Specification Language: a Case Study (1992) : G{\'e}rard Huet DOI: https://t.co/vr2NsqKTNC #coq #gallina #predicate_logic #programming_language_design #prolog #proof_assistant #specification #my_bibtex
The Gallina Specification Language: a Case Study (1992) : G{\'e}rard Huet DOI: https://t.co/vr2NsqKTNC #coq #gallina #predicate_logic #programming_language_design #prolog #proof_assistant #specification #my_bibtex
@ElucidationsPod @TaliaRinger @wilcoxjay @HadasZeilberger Yeah basically. https://t.co/UBQzp52S8A