oguz > Recent Status Updates

Showing 1-10 of 10

oguz

oguz is on page 363 of 623 of Types and Programming Languages (Mit Press)

— Jun 08, 2026 09:25AM Add a comment

Types and Programming Languages (Mit Press)

oguz

oguz is on page 209 of 623 of Types and Programming Languages (Mit Press)

— May 16, 2026 03:21AM Add a comment

Types and Programming Languages (Mit Press)

oguz

oguz is 26% done with Constructive Logic

— May 01, 2026 07:15AM Add a comment

Constructive Logic

oguz

oguz is 40% done with Theorem Proving in Lean

— Apr 30, 2026 07:58AM Add a comment

Theorem Proving in Lean

oguz

oguz is on page 149 of 623 of Types and Programming Languages (Mit Press)

— Apr 30, 2026 07:56AM Add a comment

Types and Programming Languages (Mit Press)

oguz

oguz is on page 557 of 670 of Logical Foundations of Cyber-Physical Systems

— Jan 01, 2025 09:38AM Add a comment

Logical Foundations of Cyber-Physical Systems

oguz

oguz is 8% done with Stolen Focus: Why You Can't Pay Attention—and How to Think Deeply Again

Büyük bir dikkatle okuyorum

— Jun 22, 2023 06:15AM Add a comment

Stolen Focus: Why You Can't Pay Attention—and How to Think Deeply Again

oguz

oguz is 50% done with An Introduction to Moral Philosophy

— Oct 16, 2022 06:38AM Add a comment

An Introduction to Moral Philosophy

oguz

oguz is 18% done with Neural Networks and Deep Learning

— Jun 18, 2022 09:48AM Add a comment

Neural Networks and Deep Learning

oguz

oguz is 28% done with An Introduction to Moral Philosophy

— May 08, 2022 12:29AM Add a comment

An Introduction to Moral Philosophy

Follow oguz's updates via RSS