Skip to content

feat: show proof states after =>, and not after semicolons (#27) #138

feat: show proof states after =>, and not after semicolons (#27)

feat: show proof states after =>, and not after semicolons (#27) #138

Annotations

1 warning

Build and test (macos-latest, brew install elan-init , 4.7.0)

succeeded May 17, 2024 in 2m 33s