Lean bibliography Created 2025-10-14 Updated 2026-01-30
Type theory 2025-10-14
Alternative to set theory, and some say it is better for proof assistants, and many of the most popular proof assistants of the 2020s use it e.g. Lean and Coq.
Video 1.
Why should you learn Type Theory? by Dapper Mink
. Source. Uses Lean syntax largely.
2025 www.amazon.co.uk/dp/B07CP632CL Ricokey OBD2 Bluetooth Scanner Code Reader. Managed to connect with the "Car Scanner" app.
Magnetar Created 2025-09-17 Updated 2025-10-14

Unlisted articles are being shown, click here to show only listed articles.