dafny on R-Pi

Sep 20, 2017 20 Replies

Interesting. I said I would drop the whole issue but I take it back. If anyone feels inclined to try to install it on their system, feel free to post the results, and I'll do the same if I get any ideas. I'm unfamiliar with the whole .NET/Mono thing tho so perhaps it's unlikely I'll be able to solve it on my own.

underground experts united http://user.it.uu.se/~embe8573

Join the Discussion

Have something to add? Share your thoughts — no account required.

Didn't find your answer?

Ask the community — no account required