Also, individuals with experience in formal mathematical verification
are quite welcome.
-
-List of upcoming project tasks/milestones:
-
-* [Upcoming tasks][1]
-* [NLNet Milestones][2]
-
-[1]: http://bugs.libre-riscv.org/describecomponents.cgi?product=Libre%20Shakti%20M-Class
-[2]:
-http://bugs.libre-riscv.org/buglist.cgi?component=Milestones&list_id=508&product=Libre%20Shakti%20M-Class&resolution=---