is there a list of all the btac expressions with proofs by year? I'm just trying to date stuff..

thanks
jason