I am not surprised they do that. Traditionally, there doesn't seem to be that mu...

		auggierose 14 days ago \| parent \| context \| favorite \| on: Anthropic tries to hide Claude's AI actions. Devs ... I am not surprised they do that. Traditionally, there doesn't seem to be that much money in interactive theorem proving.