coq-library-undecidability CI

Remove ill-placed notation definitions from FOL Friedman translation #728

Sign in to view logs

Triggered via pull request February 24, 2025 23:16

opened #236

JoJoDeveloping:fix-fol-notations

Status Failure

Total duration 1m 33s

Artifacts –

build.yml

on: pull_request

Matrix: build