This is an archived version pinned as of the submission of my master's thesis. An up-to-date version may be found online.

File title

{-# OPTIONS --safe #-}

module foundation.template where

open import foundation-core.template public
Imports 
open import ...

Idea

A concept C is a insert abstract idea of concept, and is defined as insert definition using words.

Definition

concept : ...
concept = ...

Properties

Concepts satisfy a property

satisfies-property-concept : ...
satisfies-property-concept = ...

Examples

The following subconcept is a concept

concept-subconcept : ...
concept-subconcept = ...

See also