UMTC-Complex Analysis.pdf
2025-0915_OP-MiniWS-r4.pdf
Resolution 5 (2026) - BIPM
The General Conference on Weights and Measures (CGPM), at its 28th meeting,
CSU AI Survey Report | CSU
Put That There
Welcome to Software Foundations in Coq
2024-09-23-TPAC-Integrity-for-the-Web.pdf
. · openai/ten-proofs@94bc0fe
Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@94bc0fe
Casey Muratori – The Big OOPs: Anatomy of a Thirty-five-year Mistake – BSC 2025
R. S. Doiel, Software Engineer/Analyst — Robert's ramblings
By R. S. Doiel, 2026-02-21 (revised: 2026-03-03, epilogue added 2026-03-27)
. · openai/ten-proofs@e9dce9a
Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@e9dce9a
. · openai/ten-proofs@5a102c1
Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@5a102c1
. · openai/ten-proofs@d0e1ae7
Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@d0e1ae7