This is a library of utilities that were originally developed for use in Proofscape, but which are highly general, and may be more broadly useful.
proofscape / pfsc-util Goto Github PK
View Code? Open in Web Editor NEWUtilities for Proofscape
License: Apache License 2.0