The Aletheia Proof Assistant