People at Savannah: sinanmo profile
Open items submitted by sinanmo
GNU TeXmacs:
Inference Rules styling is missing. Logicians can't happily use this tool. Open items assigned to sinanmo
None found
General information
| Id: | #358345 |
| Display name: | sinanmo |
| Login name: | sinanmo |
| Email address: | -email is unavailable- |
| Site member since: | Sat 11 May 2024 02:43:25 AM UTC |
| This user did not enable Resume & Skills. |
You could send a message if you were logged in.
Powered by Savane 3.13-af88.
Corresponding source code