package
Version:
v0.0.0-...-1e1c3fb
Opens a new window with list of versions in this module.
Published: Apr 16, 2026
License: AGPL-3.0
Opens a new window with license information.
Imports: 3
Opens a new window with list of imports.
Imported by: 0
Opens a new window with list of known importers.
Documentation
¶
View Source
var (
KnownGoodTheory = "theories/known-good/Negation.thy"
KnownGoodRoot = "theories/known-good/ROOT"
)
helper for tests that reads a file
Source Files
¶
Click to show internal directories.
Click to hide internal directories.