mizar-items (Q1333887)

From MaRDI portal

Jump to:navigation, search

No description defined

Language	Label	Description	Also known as
English	mizar-items	No description defined

Statements

0 references

Analysis & Policy Observatory term ID

https://github.com/jessealama/mizar-items

0 references

source code repository

https://github.com/jessealama/mizar-items

0 references

described by source

mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library

0 references

MaRDI profile type

MaRDI software profile

0 references

Software Heritage ID

swh:1:snp:92b11135b7edd81c7f6791a1c85e211cc4de6f95

source code repository

https://github.com/jessealama/mizar-items

13 January 2021

0 references

Sitelinks

Mathematics(1 entry)

mardi Software:1333887

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1333887&oldid=30865447"