Conceptcore
Fixed point
Also called Fixpoint.
An element mapped to itself by a monotone function, computed by iteration in model checking.
An element mapped to itself by a monotone function, computed by iteration in model checking.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag KYHCVB Edit this page History Report an error