The auto-formalization of mathematics versus law

(lexifina.com)

2 points | by alansaber 8 hours ago ago

2 comments