🥮 mooncakes.io
Luna-Flow
/
stella
Search
Using system theme. Switch to light mode.
Using light mode. Switch to dark mode.
Using dark mode. Switch to system theme.
Expand all
Collapse all
elab
→
stella
(WIP) A Moonbit Proof Assistant.
moon add Luna-Flow/stella@0.1.2
Download zip
Author
Luna-Flow
Version
0.1.2
License
Apache-2.0
Last updated
6 months ago
Downloads
25
README
#
STELLA
(WIP) A Moonbit Proof Assistant.
Luceat scientia sicut stellae.
#
Progress
STLC
Unit type
Π type
Σ type
Id type
J eliminator
W type
Universe Hierarchy
Contravariant Subtyping for Pi-types
#
Reference
Towards a practical programming language based on dependent type theory
A tutorial implementation of a dependently typed lambda calculus
#
Contact
[Chinese] Luna Flow QQ group: 762311556
[English/Japanese/Chinese] Email: zhehao0827 at 163.com
Expand all
Collapse all
elab
→
Install
moon add Luna-Flow/stella@0.1.2
Download zip
(WIP) A Moonbit Proof Assistant.
Luna-Flow
0.1.2
Apache-2.0
Updated 6 months ago
25 downloads
Powered by MoonBit
Site source
Report issue
Packages
Build queue
Skills
Statistics
© 2026 mooncakes.io
0.1.2
Apache-2.0
Updated 6 months ago
25 downloads