FRDCSA | git codebases | mizar-items

[Project image]

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 .