Viewing profile — nikivazou
nikivazou
HN member- Joined
- Sun, Jun 22, 2014, 9:49 PM UTC
- HN karma
- 9
- Public activity
- 2 items
- HN profile
- View on Hacker News ↗
About nikivazou
No profile information was provided.
Recent public activity
-
comment
Comment #13128826
Liquid Types use the SMT solver to automatically generate proofs, while in Agda the user needs to manually specify the proofs. Also, Agda is a verification specific language, while…
-
comment
Comment #13128454
It is like contract checking, but all the checks are done statically (at compile time) and automatically by the solver. Also, we allow the checks to only express things that the SM…