You have {{all_models_count}} models uploaded to KeYmaera. {{all_models_count - proved_models_count}} of your models are still awaiting proofs.
Models »
You have {{ open_proof_count }} open proofs.
Proofs »