Skip to main content
Proof Assistants Beta

About

Ask Question
Tag Info
Info Newest Frequent Score Active Unanswered

Module generally refers to a logical subdivision of the whole program.

References:
nLab
Coq
Agda

History Excerpt history