LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Other

macro-supplement

Supplemental material for the "Beyond Notations" paper

OtherEmerging

Stars

—

Forks

—

Contributors

1

Last push

51mo ago

Recent commits

Latest commits.

make macro-macro example more meaningful
0fef9f5Sebastian Ullrich56mo ago
update Lean
00936beSebastian Ullrich63mo ago
formatting
363238eSebastian Ullrich63mo ago
fix expander
c351492Sebastian Ullrich63mo ago
update to recent Lean
a10e369Sebastian Ullrich63mo ago

⇒ ~> =>

bda154cSebastian Ullrich75mo ago

update Expander.lean

b934546Sebastian Ullrich76mo ago

update Lean and add nested quotations example for camera-ready

a349fb4Sebastian Ullrich76mo ago

Top contributors

Builders behind this project.