mozow01's repositories
bizcoq2021
BMETE91AM58
bizcoq2023
Bizonyitas es Coq targy 2023
000
MIT000
Language:HTML000
Language:HTML000
Language:CSS000
InfoMCproba
InfoMCproba
Language:CoqGPL-3.0000
logic_and_category
logic and category theory
Language:CoqMIT000
MIT000
math-comp
Mathematical Components
000
MatTem
Matematika Tematika (0. évf.)
MIT000
Summer_camp_2023
Proof Assistant Summer Camp 2023 -- BUTE
Language:CoqMIT000
Language:CoqGPL-3.0000
webppl_tutorial
Materials for webppl tutorial
000