Petelomax

Joined 24 August 2022
m
→‎Suggestions: added Untrusted_environment
m (→‎Above and beyond: added Hexapawn)
m (→‎Suggestions: added Untrusted_environment)
Line 44:
 
Translate [[Proof#Go]]<br>
Translate the arwen demo to pGUI for [[Canny_edge_detector#Phix]]<br>
Add a --safe option for [[Untrusted_environment#Phix]]
7,830

edits