Mechanical translation from COBOL to Kotlin using formal methods (via jmillikin) — discussion
#formalmethods #kotlin
