---

Installation

asdf plugin-add fstar https://github.com/asdf-community/asdf-fstar.git

Usage

Check asdf readme for instructions on how to install & manage versions.

Contributors

Thanks goes to these wonderful people (emoji key):

BSKY 💻 📖 🚧 🚇

nzws✨ 💻

Jesse Katsumata 🚇

This project follows the all-contributors specification. Contributions of any kind welcome!

License

Licensed under the Apache License, Version 2.0.