#

univer

Here are 2 public repositories matching this topic...

Untitled-Master / Luna-os

Lina open source (kinda)

python bot discord discord-bot discord-py univer estin

Updated Aug 21, 2024
Python

Tale152 / LTL_model_checker

LTL model checker for lasso paths

python university logic university-project ltl model-checking erasmus logic-in-computer-science univer ltl-formulas

Updated Apr 3, 2022
Python

Improve this page

Add a description, image, and links to the univer topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the univer topic, visit your repo's landing page and select "manage topics."