Revision as of 15:55, 1 January 2023 edit Thatsme314 (talk \| contribs) Extended confirmed users 7,865 edits m →Overview: spcae ← Previous edit		Revision as of 22:06, 10 September 2023 edit undo 88.240.132.77 (talk) Comparison of programming languages added in see also. Tag: Visual edit Next edit →
Line 15: ==See also== * [[Automated theorem proving]] * [[Comparison of programming languages]] * [[Formal methods]]

OBJ (programming language): Difference between revisions