Skip to content
.github/workflows/main.yml

coq export: use Require Export instead of Require Import #2361

Sign in to view logs

coq export: use Require Export instead of Require Import

coq export: use Require Export instead of Require Import #2361

build_lambdapi (5.0.0)

build_lambdapi (5.0.0)
succeeded Nov 25, 2024 in 6m 37s