oftenjames

oftenjames

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
58 Stars
6 Forks
0 Watchers

🏆 Show off this rank

oftenjames on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

Repositories (1)

lambda-sub oftenjames/lambda-sub Rocq Prover

Rocq formalisation of the lambda calculus with partial substitutions

58