Comment Comment by Trung0246 Curious but can we use lean4 as port target instead of Rust? parent Trung0246 4 months ago
