Comment Comment by vatsachak Gotta love TLA+I wonder if anyone has worked on porting it to Lean and making tactics for it parent vatsachak 4 months ago
I wonder if anyone has worked on porting it to Lean and making tactics for it