Skip to content
#

post-condition

Star

Here are 3 public repositories matching this topic...

Language: All
Filter by language
All 3 Python 1 Shell 1

ChasingTheDream369 / Space-Recog-PDF-Secure

Star 0

📝📏📄Space-Recog-PDF-Secure ✨🐍 is a Python script designed to format text 📝 into paragraphs with precise width-based 📏 justification. This tool takes input text 📄 and aligns it within specified column widths, optimizing the distribution of white spaces ⚖️ between words to achieve balanced right-margin 🧮 justification.

python unit-testing dafny dynamicprogramming formalverification post-condition space-recognition latex-space-management pre-condition space-fitting-algorithm optimal-number-of-spaces
  • Updated Sep 1, 2023
  • Python

Improve this page

Add a description, image, and links to the post-condition 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 post-condition topic, visit your repo's landing page and select "manage topics."

Learn more