scunac (Q33136)

From MaRDI portal

Revision as of 19:18, 21 March 2024 by Swh import (talk | contribs) (SWHID from Software Heritage)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

No description defined

Language	Label	Description	Also known as
English	scunac	No description defined

Statements

described by source

0 references

Verifying and Invalidating Textbook Proofs Using Scunak

0 references

MaRDI profile type

MaRDI software profile

0 references

source code repository

https://github.com/theoremprover-museum/scunac

0 references

Identifiers

0 references

Software Heritage ID

swh:1:snp:5ff3ca3e1246e08bcdbebe3cc26dbf51f4c12401

source code repository

https://github.com/theoremprover-museum/scunac

13 March 2021

0 references

Sitelinks

Mathematics(1 entry)

mardi Software:33136

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