@Elizafox

I can give you say 8 hours on intuitionist type theory. But yeah empty head (bound to be after 8 hours of that)