Add an explanation on how recursions are done in various proof systems - Githubissues

vacp2p / research

Thinking in code

MIT License

62 stars 4 forks source link

Add an explanation on how recursions are done in various proof systems #200

Open moudyellaz opened 5 months ago