About Me
Tools
Publications
Teaching
Talks
Sebastian D. Melzer
Priestley Sketchpad
Hasse diagrams of Priestley spaces, including infinite ones.
Select
Point
Relation
Sequence
βℕ
βℕ sequence
Clear
Import
Open a .json file…
a diagram saved with Export → JSON
Paste JSON…
text copied from an export
Examples
Export
TikZ
for a LaTeX document
SVG
a picture of the diagram
JSON
to open again later
Clicking a term relates
only that term
every term of its sequence
100%