Verified programming

josemanuelrodriguezcaballero (José Manuel Rodríguez Caballero) February 3, 2021, 11:19am 1

2 Likes

Topic		Replies	Views
[WSC21] Implementing many-valued logic in The Wolfram Language Staff Picks discrete-mathematics , graphics-and-visualization , logic , staff-pick , wolfram-high-school-summer-research-program	1	11607	August 26, 2021
Travesties for Logic and for Types Staff Picks computer-science , game-development , fun-and-play , software-development , graphs-and-networks , computational-linguistics , staff-pick	1	6588	January 30, 2024
[WSS22] Implementation of Interactive Zero Knowledge proofs paclet Staff Picks wolfram-add-ons , graphics-and-visualization , graphs-and-networks , packages-and-paclets , staff-pick , wolfram-summer-research-institute , cryptography , blockchain	2	9272	March 16, 2023
Implementing a simple proof assistant and type system Staff Picks software-development , algebra , interface-construction , logic , packages-and-paclets , symbolic-computations , staff-pick , mathematics-and-foundations	5	28615	March 26, 2021
[HACKATHON] Hardware Verification Workflow with SCR1 in Wolfram Language Staff Picks data-science , engineering , software-development , external-interfaces , graphics-and-visualization , connected-devices , machine-learning , staff-pick , neural-networks	1	10517	August 9, 2018