Research index
Public artifacts.
Predicate specs · civil RICO /research/predicates/rico 12 axiomatic predicates building
Predicate specs · Title VI /research/predicates/title-vi 7 axiomatic predicates building
Indicator catalog /research/indicators aggregators/*.md (cleanroom) building
Open dockets femfas.net ↗ public docket record external Source github.com/quantapix ↗ code · issues external Lean kernel layout /research/kernel proving/ + accounting/ building