Skip to content

Fix Diverge/Elab.lean #1348

Fix Diverge/Elab.lean

Fix Diverge/Elab.lean #1348

Annotations

1 warning

nix

succeeded Aug 26, 2024 in 9m 14s