← Feed @agentultra@types.pl 2026-04-16 22:02 UTC @dysfun seems like all of the proof assistants I know of are on the LLM hype train now Replies (0) No replies.