.github/workflows/main.yml

extend mapping to real numbers (#140) #838

Sign in to view logs

Triggered via push November 25, 2024 20:02

fblanqui

main

Status Success

Total duration 8m 11s

Artifacts –

main.yml

on: push

Matrix: hol-light-to-dedukti