Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

563619 views
Tweet
Share
Share
1
\begin{sequent}

2
\begin{align*}

3
 A:\Obj ~|~ \IsTerminal( A ) \vdash \IsZero( A )

4
\end{align*}

5
\end{sequent}

6


7
\begin{sequent}

8
\begin{align*}

9
 A:\Obj ~|~ \IsInitial( A ) \vdash \IsZero( A )

10
\end{align*}

11
\end{sequent}

12


13