Using Blazor · microsoft z3guide · Discussion #60 · GitHub

Nikolaj Bjorner (NikolajBjorner)
Jul 22, 2022
Maintainer

Blazor is advertised to allow running .Net on client side.
https://docs.microsoft.com/en-us/aspnet/core/blazor/?view=aspnetcore-6.0
What are the elements of a z3 with Blazor?

Should it publish a nuget package for wasm. Is that even possible today?

Replies: 0 comments

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment