chore(census): refresh the row of system-et (the Agda track is now on its main branch) - #48

chore(census): refresh the row of system-et (the Agda track is now on its main branch)#48

hyperpolymath merged 1 commit into

mainhyperpolymath/mathesis:mainfrom

claude/refresh-system-et-rowhyperpolymath/mathesis:claude/refresh-system-et-rowCopy head branch name to clipboard