Continue to Site

Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

Register Log in

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

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top