Proof by Pointing

Abstract: "This paper presents a principle for a natural and effective use of the mouse in the user-interface of computer proof assistants."

Audiobook

We may earn a commission. Learn more.

No reviews yet.
Be the first to write one.

No highlights yet.
Be the first to share one.