Post #1135066

@boarders@mathstodon.xyz In 5 years, which do you see yourself using more, Lean 4 or Agda? Asking for a friend.