Repos by tlringer

tlringer / repos

8 repos

«1»
RepoLanguageStarsRank
tlringer/plugin-tutorial on Githubplugin-tutorialOCaml38974
tlringer/proof-demos on Githubproof-demosCoq38157
tlringer/ml-for-proofs on Githubml-for-proofsTeX323,083
tlringer/proof-chat-fun on Githubproof-chat-funCoq14377
tlringer/thesis on GithubthesisTeX136,297
tlringer/autoinduct on GithubautoinductCoq31,035
tlringer/tlringer.github.io on Githubtlringer.github.ioHTML0-
tlringer/shutdown-pl on Githubshutdown-plCSS0-