Currently interested in algorithms, formal methods and their intersections. Enjoys building tools in general. Hooked on formal verification tools in particular.
- India
Sort by: Most downloads
0 packages
No results matched your search.
Try browsing all packages to find what you're looking for.