./wip/py-pfsc-util, Proofscape Utilities

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 0.22.8, Package name: py310-pfsc-util-0.22.8, Maintainer: kamelderouiche

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.

Master sites:

Filesize: 7.565 KB

Version history: (Expand)