Back to pull request #4738

Add uninterpreted `Set` implementation to `Prelude.lean` #1066

Sign in to view logs

Triggered via pull request January 20, 2025 15:53

JuanCoRo

synchronize #4738

lean-set-hook

Status Success

Total duration 18s

Artifacts –

run-actionlint.yml

on: pull_request