LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

creusot

Creusot helps you prove your Rust code is correct.

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

1mo ago

Recent commits

Latest commits.

Allow third-parties to use their version of cargo (#2103)
293e479Vincent Lafeychine1mo ago
feat(nix): Allow third-parties to use their version of cargo
ab467b2Vincent Lafeychine1mo ago
Improve Nix (#2102)
1fd2bc6Vincent Lafeychine1mo ago
chore(nix): Small improvements and some passthru
5d68372Vincent Lafeychine1mo ago
feat(nix): Move mkCreusotShell + mkWhy3Framework in the overlay
830ebf5Vincent Lafeychine1mo ago

chore(nix): Move creusot packages into their own scope

e216de2Vincent Lafeychine1mo ago

feat(nix): Move creusot derivation to their own overlay

dbc6c9fVincent Lafeychine1mo ago

chore(nix): Move deps in their own folder

1d77f6aVincent Lafeychine1mo ago

Top contributors

Builders behind this project.