@@ -10,4 +10,4 @@ Interfaces (APIs) for representing the algorithms in code, and tools for
|
||||
mechanical derivation, implementation and analysis of algorithms and
|
||||
implementations.
|
||||
|
||||
WWW: http://z.cs.utexas.edu/wiki/flame.wiki/FrontPage
|
||||
WWW: https://github.com/flame/libflame
|
||||
|
||||
Reference in New Issue
Block a user