Repository navigation

fix(proofs): census reads logical roots from _CoqProject; restore Fil… #427

Job	Run time
rust-ci / Detect Cargo.toml	6s
rust-ci / Cargo check + clippy + fmt	18s
rust-ci / llvm-cov line coverage	1m 8s
rust-ci / Cargo audit (security)	3m 6s
rust-ci / Cargo test	16s
	4m 54s