Quantum and Circuits · Lean source
false_statement.lean
Selected results recorded Coverage and evidence
Compiler/replay evidence is reported for a subset or bounded block. No whole-work coverage is implied.
This viewer reads the retained source; it does not run Lean or assign new claim mappings.
circuits_fresh_20261026/fresh_source/negative/false_statement.lean2 lines
Original source path
verification/circuits_fresh_20261026/fresh_source/negative/false_statement.leanOriginal file and source record
This copy matches the recorded source file. Its publication here does not change the work’s review status.
SHA-256: 4bf555c317e75742a51edc3d678e227a04356070ed71f660b44f46a90334f41d