practice & setup up for fp-syd coq night