Ivan Bokor's repositories
Language:TeX000
Language:C++000
interaktivno_dokazivanje_teorema_2023
Materijali za radionicu interaktivnog dokazivanje teorema @ IS Petnica
Language:LeanMIT000
Language:Python000
fp22
Lekcije iz Haskela
Language:HaskellMIT000
process-teleforking
My 2022 Petnica Project
Language:C000
rock-paper-scissors-ai
Rock Paper Scissors game played thorugh webcam.
Language:Python000
cplusplus-csharp-transpiler
Rešavanje višestrukog nasleđivanja u C#
Language:Python000