https://adam.math.hhu.de/#/g/leanprover-community/NNG4
https://dcbadge.limes.pink/api/server/*
https://dl.acm.org/doi/10.1145/*
https://dl.acm.org/doi/pdf/10.1145/*
https://hackmd.io/*
https://lean-forward.github.io/
https://lean-lang.org/*
https://leansearch.net/
https://live.lean-lang.org/
https://loogle.lean-lang.org/
https://raw.githubusercontent.com/lean-ja/lean-by-example/.*
https://recharts.org/en-US
https://reservoir.lean-lang.org/
https://www.cs.cmu.edu/*
https://www.cs.ru.nl/*
