revise notations #102

Sign in to view logs

Triggered via push September 14, 2024 13:26

iehality

master

Status Success

Total duration 29m 43s

Artifacts 3

ci.yml

on: push

Deploy to GitHub Pages

https://formalizedformallogic.github.io/Arithmetization/

Artifacts

Produced during runtime

Name	Size
docs	12.3 MB
github-pages Expired	10.8 MB
import_graph	772 KB