GitHub intelligence

AbsInt

1 repository2,235 stars in totalTop language Rocq ProverGitHub profile ↗

Repository	Language	Stars	30D Change	Activity	Trend
AbsInt/CompCert AbsInt · Programming Languages & Compilers	Rocq Prover	2.2K	Collectingfrom NOV 1	23d ago