Skip to content

Add solutions

Add solutions #109

Triggered via pull request January 14, 2024 03:33
Status Success
Total duration 1m 44s
Artifacts 1

book.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Metaprogramming in Lean 4 Expired
530 KB