https://github.com/flyspeck/flyspeck
Revision b8ceea783fa80be77db8c4a2df51b5c86b7a081d authored by flyspeck on 19 November 2015, 19:53:37 UTC, committed by flyspeck on 19 November 2015, 19:53:37 UTC
1 parent 98185a7
History
Tip revision: b8ceea783fa80be77db8c4a2df51b5c86b7a081d authored by flyspeck on 19 November 2015, 19:53:37 UTC
force creation of deserialization axiom when loading the_nonlinear_inequalities
Tip revision: b8ceea7

README.md

back to top