Discover @vedgar Open Source projects

Vedran Čačić (@vedgar)

vedgar

Stars
19
Global Rank 661,554 (Top 23 %)
Followers 9
Registered about 10 years ago
Most used languages

Python
20.0 %

HTML
20.0 %

Jupyter Notebook
20.0 %

TeX
20.0 %

Coq 20.0 %
Location 🇭🇷 Croatia
Country Total Rank 618
Country Ranking

Coq 1

TeX
11

Jupyter Notebook
24

Python
152

HTML
173

ip

Interpretacija programa

izr

ms

Repozitorij za kolegij "Matematički softver"

Jupyter Notebook

compstruct

Computable structures, decidability and complexity

NFU

Coq files for research on New Foundations with Urelements