Hi, I wonder if is possible to load proof power from polyML directly, perhaps by PolyML.make with the proof power source code. The fact is that we want to build a system which proof power will be in the middle of the architecture, i.e some_libraries <-- proofpower <-- another_component_with_UI.
Thanks in advance. best, Yuhui -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
