Skip to content

First-Order Logic

First-Order Logic #12

Triggered via pull request May 22, 2024 07:55
Status Success
Total duration 2m 12s
Artifacts

haskell.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in