[isabelle] Isabelle on OpenBSD?



Has anyone previously made an attempt to port or support the Isabelle 
Theorem prover on *BSD, particularly OpenBSD?

-- 
Aaron W. Hsu | arcfide at sacrideo.us | http://www.sacrideo.us
Programming is just another word for the lost art of thinking.






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.