忘れてしまったものがたくさんある。Coq も Z3 も一度触って難しいケースに挑戦したくらいで忘れていている。KoKa は一度読んだくらいしかないな。TLA+も。