MikiBeta : A General GUI Library for Visualizing Proof Trees (Q3003488)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | MikiBeta : A General GUI Library for Visualizing Proof Trees |
scientific article |
Statements
MikiBeta : A General GUI Library for Visualizing Proof Trees (English)
0 references
27 May 2011
0 references
graphical user interface (GUI)
0 references
proof tree
0 references
type system
0 references
two-level type
0 references
\(\lambda\)-calculus
0 references
shift and reset
0 references
System F
0 references
OCaml
0 references
LablTk
0 references
