Dependent Types, Proof Development, Tactics, Mathematical Foundations
A very short book note
logicmatters.net·1d
Coping with Complexity
slott56.github.io·23h
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·1d
Microcontrollers: Getting Started
youtube.com·1d
Book Notes: Full Frontal Calculus by Seth Braver — Chapter 1 Review
ruslanspivak.com·1d
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
arxiv.org·3d
equality in type theory
ncatlab.org·6d
Loading...Loading more...