reservoir.lean-lang.orgv3.12.4

Reservoir

https://reservoir.lean-lang.org/ (opens in a new tab)

Detection

confidence 28 · scanned 27 days ago · hosted on netlify

• div#__nuxt+5
• script#__NUXT_DATA__+5
• window.__NUXT__+5
• /_nuxt/ assets+4
• nuxt payload+3
• probe: /_nuxt/builds/latest.json+678101af3-6102-4493-b325-bf9bc34b9b93

Activity

first seen on Bluesky 1 month ago · last seen 18 days ago · mentioned 3 times

• posted to Discord 1 month ago
• posted to Bluesky 1 month ago