8000 GitHub - fincrusia/mpp: easy writing & verification of mathematical proofs using C++

More Web Proxy on the site http://driver.im/

fincrusia / mpp Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

easy writing & verification of mathematical proofs using C++

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
README.md		README.md
mpp.cpp		mpp.cpp
mpp.hpp		mpp.hpp

Repository files navigation

mpp

easy writing & verification of mathematical proofs using C++

build

g++ -o mpp -I. mpp.cpp --std=c++17

About

easy writing & verification of mathematical proofs using C++

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages

C++ 100.0%

0