proofassistants.stackexchange.com5 months agoProof Assistants Stack ExchangeExplore our questions Ask Question lean beginner type-theory rocq-prover agda dependent-type lean-mathlib isabelle tactic proof-assistant more tags Active Hot Week Month 0 votes 1 answerVisit proofassistants.stackexchange.com1BookmarkAdd to collection