rasheedja / LPPaver Star 5 Code Issues Pull requests An automated prover targeting problems that involve nonlinear real arithmetic. haskell library math theorem-proving mathematics verification formal-methods maths program mpl theorem-prover automatic-theorem-proving Updated Dec 6, 2023 JavaScript
metahot / chrome-extension-quick-start Star 0 Code Issues Pull requests Clone to try a simple chrome extension chrome-extension mpl Updated Nov 7, 2021 JavaScript