Proof Assistants: history, ideas and future

by H. Geuvers
Citations:3 - 0 self