teamy-bend
Experimental, incomplete Rust implementation of a Bend 2 proof-language subset, with checking, evaluation and JavaScript/C generation.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/TeamDman/teamy-bend ↗GitHubhttps://github.com/TeamDman/teamy-bend/blob/969561f5214fa494507ba07bd5740e… ↗GitHubhttps://github.com/TeamDman/teamy-bend/blob/969561f5214fa494507ba07bd5740e… ↗