Isa-afp
isa-afp.orgBR
31
Rank Trend
Ranking history over time.
About Isa-afp
One of the world's top websites, ranked #403,957 globally.
Offers a collection of proof libraries and scientific developments checked in the theorem prover Isabelle.
31
Bear Rank
#403957
Global Rank
.org
TLD
Science
Category