Where communities thrive

  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
Repo info
Izaak "Zaak" Beekman
Stefano Zaghi
I am here
I am going to study the wiki doc; I hope to contribute soon (again, this is not a dangerous advice :smile: )
Chris MacMackin
I have implemented the abstract data types which define FIAT's API, and have written their documentation. The documentation can be found here. In particular, I'd recommend taking a look at the inheritance tree. My plan now is to start writing unit tests for the iterator and type and to implement said type.
FIAT is a massive project, so I would be really grateful if people could volunteer to implement particular components. That way it might actually be ready for a release this century. I can suggest particular places to start, if you like.
Stefano Zaghi
Wonderful! :clap: I will start this week with the study of tree and documentation. See you soon.