TIS2024-FMFI / kolmogorov

Application for visualization of depndences of math axioms and theorems
The Unlicense
3 stars 0 forks source link