Submissions from github.com/lapin0t

		A formalization of μμ͂ and classical realizability (2023) (github.com/lapin0t)
		2 points by aebtebeten on Aug 3, 2024 \| past \| 1 comment
		Will we continue scientific research? Alexander Grothendieck (1972) (github.com/lapin0t)
		4 points by lapinot on June 12, 2024 \| past