Skip to content

Actions: atp-lptp/automated-theorem-proving-for-prolog-verification

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
1 workflow run
1 workflow run
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Added paper and presentation links to README Apply ATP prover on FOF files #29: Pull request #3 opened by thierrymarianne
May 7, 2024 08:45 2m 14s v0.0.1
v0.0.1
May 7, 2024 08:45 2m 14s