Skip to content

Add correctness of the term creators in SMT/Factory.lean #2250

Add correctness of the term creators in SMT/Factory.lean

Add correctness of the term creators in SMT/Factory.lean #2250

Triggered via pull request May 5, 2026 16:18
@aqjune-awsaqjune-aws
submitted #1103
Status Success
Total duration 16s
Artifacts

label-review-status.yml

on: pull_request_review
update-review-labels
6s
update-review-labels
Fit to window
Zoom out
Zoom in