Comment on F*: A general-purpose proof-oriented programming languageparentComments−physPop1moyes thats the main reason, agda , coq similar ideas
Comments
yes thats the main reason, agda , coq similar ideas