Revert "using Prop for propositions, revealing more Int" #421

Triggered via push February 9, 2025 08:25

main

Status Success

Total duration 13m 44s

Artifacts 1

gh_pages.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	38.9 MB