Proof Assistants: history, ideas and future

by H. Geuvers
Citations:4 - 0 self