Test mathcomp 1 - Githubissues

ndslusarz / formal_LDL

MIT License

3 stars 1 forks source link

Test mathcomp 1 #20

Closed affeldt-aist closed 8 months ago

affeldt-aist commented 8 months ago

this PR makes the LDL development compile with MathComp-Analysis 1.0.0