Formal Abstracts: Express Results of Math Publications in Computer-Readable Form


New top story on Hacker News: Formal Abstracts: Express Results of Math Publications in Computer-Readable Form