Loreon
Labs
Platform
Docs
Home
Ecosystems
Other
lem
Lem semantic definition language
Other
Emerging
GitHub
Stars
—
Forks
—
Contributors
8
Last push
1mo ago
Recent commits
Latest commits.
Add missing Lem machine word size
12f2661
Brian Campbell
16mo ago
Quote the installation path in commands
5dbf0e5
Brian Campbell
18mo ago
Misc typos
7019164
Brian Campbell
28mo ago
Add more machine word sizes
bb860da
Brian Campbell
31mo ago
Mark Isabelle type definitions as "overloaded" when necessary
03739ab
Brian Campbell
37mo ago
Support for Merlin OCaml editor assistance
0de11f4
Brian Campbell
37mo ago
Tweak finite maps to use much more efficient union function
cad75df
Brian Campbell
37mo ago
Fix opam licence format
573f142
Brian Campbell
43mo ago
Top contributors
Builders behind this project.
thtuerk
337 commits
dpmulligan
173 commits
DominicPM
161 commits
PeterSewell
87 commits
bacam
64 commits
bauereiss
62 commits
gnomnain
49 commits
kathryngray
36 commits
