Giters
mozow01

mozow01

Geek Repo

5

followers

1

following

0

stars

Github PK Tool:Github PK Tool

mozow01's repositories

TypeTheoryWorkshop

Language:CoqLicense:GPL-3.0Stargazers:0Issues:0Issues:0

InfoMC

Language:CSSStargazers:0Issues:0Issues:0

2023A3

Stargazers:0Issues:0Issues:0

Matematika-A1a-C-E-K

License:GPL-3.0Stargazers:1Issues:0Issues:0

logic_and_category

logic and category theory

Language:CoqLicense:MITStargazers:0Issues:0Issues:0

bizcoq2023

Bizonyitas es Coq targy 2023

Language:CoqLicense:GPL-3.0Stargazers:1Issues:0Issues:0

Bayes2024

Language:CoqLicense:GPL-3.0Stargazers:1Issues:0Issues:0

Goedel-2024

Language:CoqStargazers:1Issues:0Issues:0

bizcoq2021

BMETE91AM58

Language:CoqStargazers:1Issues:0Issues:0

cog_compsci

Language:RLicense:MITStargazers:1Issues:0Issues:0

MatTem

Matematika Tematika (0. évf.)

License:MITStargazers:0Issues:0Issues:0

InfoMCproba

InfoMCproba

Language:CoqLicense:GPL-3.0Stargazers:0Issues:0Issues:0

Matematika-A2-vill

License:MITStargazers:0Issues:0Issues:0

Summer_camp_2023

Proof Assistant Summer Camp 2023 -- BUTE

Language:CoqLicense:MITStargazers:0Issues:0Issues:0

GInfoMC

Language:HTMLStargazers:0Issues:0Issues:0

gitInfoMC

Language:HTMLStargazers:0Issues:0Issues:0

epslems

License:MITStargazers:0Issues:0Issues:0

math-comp

Mathematical Components

Stargazers:0Issues:0Issues:0

webppl_tutorial

Materials for webppl tutorial

Stargazers:0Issues:0Issues:0