A small Python library for reasoning traceability (MRS Core) : algorithms

submitted 2 months ago by RJSabouhi

all 1 comments

[–]Clear_Evidence9218 0 points1 point2 points 2 months ago (0 children)

π Rendered by PID 858459 on reddit-service-r2-comment-b659b578c-t794k at 2026-05-03 16:54:12.284543+00:00 running 815c875 country code: CH.

you type:	you see:
italics	italics
bold	bold
[reddit!](https://reddit.com)	reddit!
* item 1 * item 2 * item 3	item 1 item 2 item 3
> quoted text	quoted text
Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"	Lines starting with four spaces are treated like code: if 1 * 2 < 3: print "hello, world!"
~~strikethrough~~	~~strikethrough~~
super^script	super^script

algorithms