Danila K's repositories
lean-tutorials
Personal endeavours with PatrickMassot's lean-tutorials
Language:LeanApache-2.0000
plot-damped-sinusoid
Test of matplotlib functionality over at Heroku
000
Personal endeavours with PatrickMassot's lean-tutorials
Test of matplotlib functionality over at Heroku