← Feed @5ht@mathstodon.xyz Post #2187753 2026-04-30 16:32 UTC @zwarich@hachyderm.io No obscure compiler for a dead language. Soon Lean will be dead langugage as HOL. Replies (0) No replies.