Proof Assistants: history, ideas and future

by H. Geuvers
Citations:6 - 0 self