Skip to content
.github/workflows/main.yml

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

Sign in to view logs

coq export: use Require Export instead of Require Import

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

build_lambdapi (4.13.1)

build_lambdapi (4.13.1)
succeeded Nov 25, 2024 in 6m 33s