issues
search
giomasce
/
mmpp
Metamath in C++
11
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
macOS Catalina error: no member named '__cxx11' in namespace 'std'
#5
hiiroo
opened
4 years ago
2
provers/subst.cpp build error with gcc/g++ 5.4.0 on Ubuntu 16.04 LTS
#4
marnix
closed
6 years ago
3
Ubuntu 16.04 has Boost 1.58, but the required boost::unit_test::data is part of Boost >= 1.59
#3
marnix
closed
6 years ago
7
‘ifstream’ in namespace ‘boost::filesystem’ does not name a type
#2
jkingdon
closed
6 years ago
2
Installation does not succeed on Ubuntu 16.04
#1
jkingdon
closed
6 years ago
4