GitHub - nishanthkarthik/lean-trees: Lean proofs for some tree and graph algorithms

Viper and Lean4 formalizations of monotonicity in Priority Inheritence Protocol

Name		Name	Last commit message	Last commit date
Latest commit History 27 Commits
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
Main.lean		Main.lean
README.md		README.md
basic.lean		basic.lean
basic.vpr		basic.vpr
exercise1.lean		exercise1.lean
exercise2.lean		exercise2.lean
existentials.lean		existentials.lean
heap.lean		heap.lean
heap.vpr		heap.vpr
hello.lean		hello.lean
inductive.lean		inductive.lean
inductive2.lean		inductive2.lean
interval.vpr		interval.vpr
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain
priority.lean		priority.lean
priority.vpr		priority.vpr
trees.lean		trees.lean
trees.rs		trees.rs
trees.vpr		trees.vpr

Provide feedback