Pronko's repositories
DotKnow
Knowledge Description system with special emphasis on type-theoretic representation of pure mathematics
Language:TeXGPL-3.0000
DPMiner
DataProcessMiner
Language:C#000
m2o2c2
Multivariable calculus course materials
Language:TeXGPL-3.0000
PhoneParser
Small project
000
Language:Java000