formalmind
Keeps a formal specification honest while the code it describes keeps moving: every theorem machine-checked, no sorry, no new axioms.
Every theorem checked.
Colour
Click a value to copy it.
Type
Free fonts under the SIL Open Font License.
Using the logo
An F built from three flat planes on the isometric grid: structure with nothing extra.
- Clear spaceKeep at least the stem's width of empty space on every side of the mark.
- Minimum sizeMark 24px tall on screen; lockup 120px wide.
- BackgroundsBlack or very dark surfaces first. On white, use the light lockup.
- Keep it as drawnDon't recolour, rotate, stretch, outline or add shadows to the mark.