mozow01

Pinned Repositories

2023A3
00
Bayes2024
Language:Coq11
bizcoq2021
BMETE91AM58
Language:Coq10
bizcoq2023
Bizonyitas es Coq targy 2023
Language:Coq10
cog_compsci
Language:R1 3 03
epslems
00
GInfoMC
Language:HTML00
gitInfoMC
Language:HTML00
Goedel-2024
Language:Coq10
Matematika-A1a-C-E-K
10

mozow01's Repositories

mozow01/Bayes2024
Language:Coq11
mozow01/bizcoq2021
BMETE91AM58
Language:Coq10
mozow01/bizcoq2023
Bizonyitas es Coq targy 2023
Language:Coq10
mozow01/cog_compsci
Language:R1 3 03
mozow01/Goedel-2024
Language:Coq10
mozow01/Matematika-A1a-C-E-K
10
mozow01/2023A3
00
mozow01/epslems
00
mozow01/GInfoMC
Language:HTML00
mozow01/gitInfoMC
Language:HTML00
mozow01/InfoMC
Language:CSS
mozow01/InfoMCproba
InfoMCproba
Language:Coq
mozow01/logic_and_category
logic and category theory
Language:Coq
mozow01/Matematika-A2-vill
mozow01/math-comp
Mathematical Components
mozow01/MatTem
Matematika Tematika (0. évf.)
mozow01/Summer_camp_2023
Proof Assistant Summer Camp 2023 -- BUTE
Language:Coq
mozow01/TypeTheoryWorkshop
Language:Coq
mozow01/webppl_tutorial
Materials for webppl tutorial