Posts by 송용주
(** We have seen that Coq has mechanisms both for
(** We have seen that Coq has mechanisms both for _programming_, using inductive data types (like [nat] or [list]) and functions over these t...
(** We have seen that Coq has mechanisms both for _programming_, using inductive data types (like [nat] or [list]) and functions over these t...
Trending Topics
© 2015