FRDCSA
Minor
Internal
External
Git
Packages
mizar-items
Jump To:
Parent Description
A further problem is to report the results.
The goal is a dependency table that shows, for each Mizar "item", which Mizar items it depends upon.