Skip to content
Build the manual with mdBook

formatting all variables with trailing _<SORT> for TPTP compliance #107

Sign in to view logs

formatting all variables with trailing _<SORT> for TPTP compliance

formatting all variables with trailing _<SORT> for TPTP compliance #107

Triggered via pull request November 28, 2024 09:50
@teiestiteiesti
synchronize #167
zach/tptp2
Status Success
Total duration 12s
Artifacts –

mdbook.yml

on: pull_request
build
3s
build
Fit to window
Zoom out
Zoom in