bLogic.ink

Ink and Think!

Home
About
Archives
Search
1. Dark Mode

Categories

Application

Theory

Interviews

Phiosophy

2025

Simple vehicle controller

Featured image of post Simple vehicle controller

A Sequent Calculus for General Inductive Definitions

Featured image of post A Sequent Calculus for General Inductive Definitions

© 2025 bLogic.ink

Ink and Think!
We don’t use cookies. We do use GoatCounter, a privacy-friendly open-source analytics tool, to understand which posts are getting attention. If you’re using an ad blocker, please consider disabling it for this site—otherwise the counter might not register your visit.
Built with Hugo
Theme Stack designed by Jimmy