Proof assistant Learning wishlist Notes Jovan Stosic January 28, 2024 https://en.wikipedia.org/wiki/Proof_assistant Proof assistant was last modified: January 28th, 2024 by Jovan Stosic