Directed Acyclic Graph

Menu Menu

Agda で、三つのVertexを持つ Cycle を持つグラフと持たないグラフを定義し、dag と ¬ dag を証明せよ。