https://example.org/licenses/ Recent content in Licenses on Formal Methods Tools Hugo en-us Sat, 07 Jun 2025 00:00:00 +0000 https://example.org/licenses/bsd/ Sat, 07 Jun 2025 00:00:00 +0000 https://example.org/licenses/bsd/ https://example.org/licenses/gplv3/ Sat, 07 Jun 2025 00:00:00 +0000 https://example.org/licenses/gplv3/ https://example.org/licenses/mit/ Fri, 02 Feb 2024 04:14:54 -0800 https://example.org/licenses/mit/