Pinned Repositories
acm-co2-calc
A conference carbon footprint calculator for ACM.
aoc2020
Arduino
Coinduction_tutorial
Coq_Cheat_Sheet
Shared Cheat Sheet for Coq
ECM
Game_Semantics
GraLinA
Formalization of Graphical Linear Algebra
sigplan-carbon-analysis
Public repository for the data analysis conducted as part of the acm climate project
Vesoul
YaZko's Repositories
YaZko/Coq_Cheat_Sheet
Shared Cheat Sheet for Coq
YaZko/sigplan-carbon-analysis
Public repository for the data analysis conducted as part of the acm climate project
YaZko/Game_Semantics
YaZko/Coinduction_tutorial
YaZko/ECM
YaZko/GraLinA
Formalization of Graphical Linear Algebra
YaZko/Vesoul
YaZko/acm-co2-calc
A conference carbon footprint calculator for ACM.
YaZko/aoc2020
YaZko/Arduino
YaZko/HashCode2017
YaZko/CIS-670
YaZko/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
YaZko/Coq---Programming-Language
Haskell函数式编程的代码实例以及教程
YaZko/coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
YaZko/coq-pipes
YaZko/graffiti
A tiny collaborative drawing application in eliom.
YaZko/Hash_Code_2016
Repository used by the Platypus team for the 2016 edition of the Hash Code
YaZko/ICFPC2016
Le doux cri du yak des cimes: solution
YaZko/InteractionTrees
Formalization of the Interaction Tree Datatype in Coq
YaZko/Ocsigen_server
YaZko/rapport_de_ouf
YaZko/RR_webinars
Series of webinars and documents on Reproducible Research
YaZko/undefined-behaviour-talk
YaZko/vscoq
A Visual Studio Code extension for Coq [maintainers=@maximedenes,@fakusb]