The Lean Mathematical Library

Article URL: https://leanprover-community.github.io/

Comments URL: https://news.ycombinator.com/item?id=23635334

Points: 2

# Comments: 0



from Hacker News: Newest https://ift.tt/2Lh0TCf

Yorumlar

Bu blogdaki popüler yayınlar

Built with Django Newsletter #1

UN chief:16 armed groups have responded to cease-fire appeal