LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Lean

event-structures

Formalisation of some facts about event structures and reversibility

LeanEmerging

Stars

2

Forks

—

Contributors

2

Last push

1mo ago

Recent commits

Latest commits.

feat: checkpoint
73d2fe7Vikraman Choudhury1mo ago
[create-pull-request] automated change
955afd9vikraman2mo ago
ci: set update action to stable releases only
b0a40d5Vikraman Choudhury2mo ago
feat: checkpoint
d9e772cVikraman Choudhury4mo ago
feat: define rollback
02250ecVikraman Choudhury4mo ago

build: update lean toolchain and deps

fabbcdcVikraman Choudhury4mo ago

feat: add computations

4633602Vikraman Choudhury4mo ago

Merge pull request #8 from vikraman/auto-update-lean/patch

a186100Vikraman Choudhury6mo ago

Top contributors

Builders behind this project.

dependabot[bot]