Skip to content
Check PR title for commit convention

feat(Logics/Propositional): five-primitive formula type with connective typeclasses #2739

Sign in to view logs

feat(Logics/Propositional): five-primitive formula type with connective typeclasses

feat(Logics/Propositional): five-primitive formula type with connective typeclasses #2739

Triggered via pull request June 14, 2026 19:41
@benbrastmckiebenbrastmckie
opened #647
benbrastmckie:feat/propositional-five-primitive
Status Success
Total duration 11s
Artifacts –

pr-title.yml

on: pull_request
check-pr-title
2s
check-pr-title
Fit to window
Zoom out
Zoom in