.
FRDCSA | git codebases | mizar-items
Homepage

[Project image]
mizar-items

Jump to: Project Description

Project 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.


This page is part of the FWeb package.
Last updated Sat Oct 26 17:00:35 EDT 2019 .