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.

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

repo: https://github.com/otoDB/otoDB

Refer to my repositories.

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

See ac.sno2wman.net (in Japanese).

• Slides: https://github.com/stars/SnO2WMaN/lists/my-slides
• Notes: https://github.com/stars/SnO2WMaN/lists/my-notes