The auto-formalization of mathematics versus law

2 points | by alansaber 8 hours ago

2 comments