Write a function in HOL theorem Prover

Status
Not open for further replies.
H

HAMAYOUN AHMAD BHATTI

Junior Member level 1
Joined
Jul 2, 2013
Messages
19
Helped
1
Reputation
2
Reaction score
0
Trophy points
1
Activity points
142
Write a function that replaces an element (with the given index) of a list with 0 in HOL theorem Prover. Kindly post to the point answer and also avoid from placing other languages (c/c++/java etc) codes.
 

Status
Not open for further replies.

Similar threads

Menu
Log in
Register
Cookies are required to use this site. You must accept them to continue using the site. Learn more…