#

hvm4

Here is 1 public repository matching this topic...

Lulzx / progen

Program synthesis via HVM4 superpositions

lambda-calculus program-synthesis superposition interaction-calculus hvm4

Updated Feb 23, 2026
Python

Improve this page

Add a description, image, and links to the hvm4 topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the hvm4 topic, visit your repo's landing page and select "manage topics."