Skip to content

PDL Tableau with an idea how to represent repeats in inductive types #62

PDL Tableau with an idea how to represent repeats in inductive types

PDL Tableau with an idea how to represent repeats in inductive types #62

Triggered via push November 1, 2023 15:15
Status Success
Total duration 2m 48s
Artifacts

build.yml

on: push
Fit to window
Zoom out
Zoom in