Principia Rewrite – Rewriting PM with Coq and LaTexprincipiarewrite.com1 point·pvitz··0 commentsOpen articleSaveView on HN