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
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to