Proof Assistants: history, ideas and future

by H. Geuvers
Citations:7 - 0 self