Skip to content

Fix errors in Semantics (#48) #126

Fix errors in Semantics (#48)

Fix errors in Semantics (#48) #126

Annotations

1 warning

Completeness of _CoqProject

succeeded Apr 30, 2024 in 5s