<feed xmlns='http://www.w3.org/2005/Atom'>
<title>RNT/lib/concepts/Condition.ml, branch journal</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/'/>
<entry>
<title>add session object and protocol with pinning</title>
<updated>2026-09-27T01:29:45+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-27T01:29:45+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=63352e46a880985efbdfab2e539d0f4975960b94'/>
<id>63352e46a880985efbdfab2e539d0f4975960b94</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>architecture diagram on CI</title>
<updated>2026-07-21T05:18:27+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-07-21T05:18:27+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=fd4e46653d94807a52d5506a172791f1ec1ec891'/>
<id>fd4e46653d94807a52d5506a172791f1ec1ec891</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Storage layer scaffolding, LMDB backend</title>
<updated>2026-07-15T01:52:38+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-07-15T01:52:38+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=c374635a36d71e8cfff6e1c19b62e5d0e14ea371'/>
<id>c374635a36d71e8cfff6e1c19b62e5d0e14ea371</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>FOL: First Order Logic Execution Engine</title>
<updated>2026-07-11T03:51:11+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-07-11T03:51:11+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=bb3156b8ab78b035ce886bbe3021ec7cbe269d03'/>
<id>bb3156b8ab78b035ce886bbe3021ec7cbe269d03</id>
<content type='text'>
Co-authored-by: Estevan Castilho &lt;tevo@riajuu.net&gt;</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Co-authored-by: Estevan Castilho &lt;tevo@riajuu.net&gt;</pre>
</div>
</content>
</entry>
</feed>
