Models

You have {{all_models_count}} models uploaded to KeYmaera. {{all_models_count - proved_models_count}} of your models are still awaiting proofs.

{{proved_models_count}}/{{all_models_count}}

Models »

Proofs

You have {{ open_proof_count }} open proofs.

Proofs »