Discover @vedgar Open Source projects

Vedran Čačić (@vedgar)

vedgar

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

TeX
20.0 %

Coq 20.0 %

Python
20.0 %

Jupyter Notebook
20.0 %

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

Coq 1

TeX
10

Jupyter Notebook
24

Python
153

HTML
177

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