Here is a place to collect some resources on logical frameworks.