Skip to content
CI

Maximal Consistent Tableau for Modal Logic #935

Sign in to view logs

Maximal Consistent Tableau for Modal Logic

Maximal Consistent Tableau for Modal Logic #935

Triggered via pull request February 27, 2025 12:45
@SnO2WMaNSnO2WMaN
opened #214
modal-consistent-tableau
Status Success
Total duration 3m 48s
Artifacts –

ci.yml

on: pull_request
Build project
3m 39s
Build project
Fit to window
Zoom out
Zoom in