LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Go

vll

Visual Linear Logic

GoEmerging

Stars

—

Forks

—

Contributors

1

Last push

62mo ago

Recent commits

Latest commits.

Merge pull request #3 from adelelopez/exponentials
69babbbadelelopez62mo ago
Merge branch 'main' into exponentials
0160b6eadelelopez62mo ago
promotion rule provable now
b1a3d11Adele Lopez62mo ago
implement copying, along with some related exponential stuff
58fcbf5Adele Lopez62mo ago
Merge pull request #2 from adelelopez/bug-fix
999a3e0adelelopez62mo ago

disable exponential stuff to get some of the bug fixes in

1606266Adele Lopez62mo ago

fix some issues and get the basics of exponentials implemented

18b02c8Adele Lopez62mo ago

fix bug when deleting loops in proof mode

24607b6Adele Lopez62mo ago

Top contributors

Builders behind this project.