The Mathematician @mathblazeemail@mastodon.social · activity timestamp 3 weeks ago Seemingly impossible programs in Leanhttps://www.joachim-breitner.de/blog/818-Seemingly_impossible_programs_in_Lean #math #mathematics Read more Read less Translate Reply Boost Quote You cannot quote this post Like More actions Copy link Flag this post Block
