Interest: Logic, Theorem Prover, Web Development, 音MAD (otomad)

Other information is on sno2wman.net (in Japanese).

Formalizing mathematical logic by Lean theorem prover. Mainly I maintain about modal logic, non-classical propositional logic and provability logic.

w/ @iehality

Database for otomad across the various platforms. Repository is private now.

w/ @lachrymaLF, @mmaker-gh, @CHFR-wide

Refer to my repositories.

Database for otomad by my own version. Spirit of this work is continous in otodb.net.