LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Coq

ccsubbox

Soundness proof for System CC_<:□

CoqEmerging

Stars

4

Forks

2

Contributors

4

Last push

23mo ago

Recent commits

Latest commits.

remove unused imports
82f0243Joseph Fourment38mo ago
move lemmas to appropriate files
e01b07fJoseph Fourment38mo ago
simplify flake.nix
8068e8fJoseph Fourment38mo ago
update find_unused_definitions script
12d7047Joseph Fourment38mo ago
remove some more unused lemmas
e136b31Joseph Fourment38mo ago

include Yichen's solution for sub_transitivity

0b53150Joseph Fourment38mo ago

remove old commented proofs

2f60cd9Joseph Fourment38mo ago

remove unused definitions

c112f7fJoseph Fourment38mo ago

Top contributors

Builders behind this project.